classless inter-domain routingclass-relation methodclausal language : FOLDOC

翻訳と辞書

Words near each other

Dictionary Lists

mini英和辞書

翻訳と辞書　辞書検索 [ 開発暫定版 ]

スポンサードリンク

classless inter-domain routingclass-relation methodclausal language ： FOLDOC

Clausal Language
(CL) A programming language and {proof system} developed by Paul Voda and a colleague since 1997, written in Trilogy II.
{Paul Voda Home (http://fmph.uniba.sk/~voda)}.
(2002-05-28)

スポンサードリンク

翻訳と辞書 : 翻訳のためのインターネットリソース